$\forall$$A$:MsgA. $A$ $\Vert\!+$